/*
#include "kernel_io.h"


int main(void)
{
	asm("sei");

	while(1)
	{
		if(getchar() == 'a')
		{ 
			systemCall(0,0xA5,0xB4);
		}
	}
	
	return 0;
}


void systemCall(char number, char lo, char hi)
{
	puts("Calling kernel\n");
	asm("mov r2, %0\n\t"
		"mov r3, %1\n\t"
		"mov r4, %2\n\t"
		"call 0x001C\n\t"
		::"r" (number), "r" (lo), "r" (hi));

	puts("Re-entry\n");
}
*/
